Hybrid statistical estimation of mutual information and its application to information flow

JOURNAL ARTICLE published April 2019 in Formal Aspects of Computing

Research funded by Japan Society for the Promotion of Science (KAKENHI JP17K12667) | JSPS & Inria (Japan-France AYAME Program LOGIS)

Authors: Fabrizio Biondi | Yusuke Kawamoto | Axel Legay | Louis-Marie Traonouez

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS

JOURNAL ARTICLE published 31 December 2023 in Formal Aspects of Computing

Research funded by Chinese Academy of Sciences Project for Young Scientists in Basic Research (YSBR-040 CAS) | Chongqing Graduate Student Research and Innovation Project (CYB20098) | National Natural Science Foundation of China (62032019, 61732019, 61672435, 62072443, 61836005) | Capacity Development Grant of Southwest University (SWU116007)

Authors: Quan Sun | David N. Jansen | Xinxin Liu | Wei Zhang

Editorial

JOURNAL ARTICLE published September 2018 in Formal Aspects of Computing

Authors: Nikolaj Bjørner | Frank de Boer | Andrew Butterfield

Extensional Petri net

JOURNAL ARTICLE published 12 February 2019 in Formal Aspects of Computing

Research funded by National Natural Science Foundation of China (61472239,61772336)

Authors: Xiaoju Dong | Yuxi Fu | Daniele Varacca

Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover

JOURNAL ARTICLE published 30 June 2022 in Formal Aspects of Computing

Authors: Samuel Coward | Lawrence Paulson | Theo Drane | Emiliano Morini

From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers

JOURNAL ARTICLE published 30 June 2023 in Formal Aspects of Computing

Research funded by European Research Council through the SENTIENT project (ERC-2017-STG #755953)

Authors: Shankara Narayanan Krishna | Khushraj Madnani | Manuel Mazo Jr. | Paritosh Pandya

Editorial

JOURNAL ARTICLE published August 2021 in Formal Aspects of Computing

Authors: Annabelle McIver | Maurice H ter Beek

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing

Authors: Richard Banach | Huibiao Zhu | Wen Su | Runlei Huang

Compositional noninterference from first principles

JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing

Authors: Carroll Morgan

Synthesizing structural and behavioral control for reconfigurations in component-based systems

JOURNAL ARTICLE published March 2016 in Formal Aspects of Computing

Authors: Narges Khakpour | Farhad Arbab | Eric Rutten

Presupposition failure — A comedy of errors

JOURNAL ARTICLE published November 1994 in Formal Aspects of Computing

Authors: Jan van Eijck

Verifying programs in the calculus of inductive constructions

JOURNAL ARTICLE published September 1997 in Formal Aspects of Computing

Authors: Catherine Parent-Vigouroux

On integrating confidentiality and functionality in a formal method

JOURNAL ARTICLE published September 2014 in Formal Aspects of Computing

Authors: Michael J. Banks | Jeremy L. Jacob

Editorial

JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing

Authors: Wolfgang Ahrendt | Silvia Lizeth Tapia Tarifa | Heike Wehrheim

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example

JOURNAL ARTICLE published June 2019 in Formal Aspects of Computing

Research funded by Engineering and Physical Sciences Research Council (EP/K011707/1,EP/J008133/1)

Authors: Cliff B. Jones | Nisansala Yatapanage

Generating invariants for non-linear loops by linear algebraic methods

JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing

Authors: Rachid Rebiha | Arnaldo Vieira Moura | Nadir Matringe

A functional logic for higher level reasoning about computation

JOURNAL ARTICLE published January 1994 in Formal Aspects of Computing

Authors: John Staples | Peter J. Robinson | Daniel Hazel

Transformations of normal and inverted function tables

JOURNAL ARTICLE published November 1996 in Formal Aspects of Computing

Authors: J. I. Zucker

Modeling and analysis of communicating systems

JOURNAL ARTICLE published March 2021 in Formal Aspects of Computing

Authors: Matteo Rossi

Parameterized verification of monotone information systems

JOURNAL ARTICLE published August 2018 in Formal Aspects of Computing

Research funded by Natural Sciences and Engineering Research Council of Canada (RGPIN-2014-04162)

Authors: Raphaël Chane-Yack-Fa | Marc Frappier | Amel Mammar | Alain Finkel